stipulative definition in logic. There are any references about stipulative definition in logic in here. you can look below.